/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 	ISeptember 17, 1976




␈↓ ↓H␈↓Major David Carlstorm
␈↓ ↓H␈↓Information Processing Techniques O≠ce
␈↓ ↓H␈↓Advanced Research Projects Agency
␈↓ ↓H␈↓1700 Wilson Boulevard
␈↓ ↓H␈↓Arlington, Virginia 22209

␈↓ ↓H␈↓Dear Dave:

␈↓ ↓H␈↓        Enclosed␈α⊂is␈α⊂a␈α∂copy␈α⊂of␈α⊂a␈α∂tutorial␈α⊂paper␈α⊂by␈α⊂Zohar␈α∂Manna.␈α⊂ It␈α⊂is␈α∂so␈α⊂clearly␈α⊂written␈α⊂that␈α∂I
␈↓ ↓H␈↓thought␈α∞IPT␈α∂might␈α∞have␈α∂some␈α∞use␈α∂for␈α∞it␈α∂to␈α∞show␈α∂technically␈α∞inclined␈α∂people␈α∞not␈α∂familiar␈α∞with
␈↓ ↓H␈↓program correctness.


␈↓ ↓H␈↓Best regards,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science